Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation
نویسندگان
چکیده
منابع مشابه
Simulation of mobile networks using discrete event system specification theory
The fourth generation (4G) of mobile telecommunication technology provides ultra-band internet access for mobile devices such as smartphones, tablets, and laptops. One of the challenges in the Long Term Evolution (LTE) 4G networks is the low data rate for cell-edge users as well as coverage gaps. In this paper, we define and evaluate models for analysis of performance of mobile networks archite...
متن کاملA discrete event system specification (DEVS)-based model of consanguinity
Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale consanguineous parental populations because of disparate cultural issues unique to regions and cultures across the globe. Although consanguinity has previously bee...
متن کاملSiMA: a discrete event system specification-based modelling and simulation framework to support model composability
In this paper we briefly present our views on composability of models and interoperation of simulations; we introduce our simulation software framework, namely Simulation Modelling Architecture (SiMA), and we present our contributions to the underlying formal model (i.e. discrete event system specification). We also present our simulation construction environment, which supports composability o...
متن کاملComposing Event Constraints in State-Based Specification
Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints on event occurrences and event parameters. This paper investigates the possibility to export this specification paradigm to a state-based formalism, and discusses some deriving advantages in terms of verification.
متن کاملSupporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework
In this paper, we present our approach to introduce dynamism support to simulation environments, which adopts a Discrete Event System Specification (DEVS)-based modeling and simulation approach and builds upon previous work on Simulation Modeling Architecture (SiMA), a DEVS-based simulation framework developed at TUBITAK UEKAE. In the relevant literature there are already proposed solutions to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2020
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2019edl8219